interactive proof system - Spanisch Englisch Wörterbuch